sub-semantic resolution

[计] 子语义归结